Knowledge representation and reasoning - PDFSEARCH.IO - Document Search Engine

Knowledge representation and reasoning
Results: 743

#	Item
411	Natural Language Understanding using Temporal Action Logic Martin Magnusson Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden email: [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:39:30 Reasoning Knowledge representation Logic programming Epistemology Programming paradigms Reasoning system Knowledge representation and reasoning Frame problem Reason Science Artificial intelligence Logic
412	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-31 10:51:10 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
413	Knowledge Discovery in distributed Social Web sharing activities Simon Scerri, Keith Cortis, Ismael Rivera, Siegfried Handschuh Digital Enterprise Research Institute National University of Ireland, Galway Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-04-03 06:22:41 Semantically-Interlinked Online Communities Ontology Social Semantic Web Personal knowledge base Semantic desktop Knowledge representation and reasoning Personal information management Semantic integration Linked data Semantic Web Information Science
414	Stream-Based Middleware Support for Embedded Reasoning∗ Fredrik Heintz, Jonas Kvarnstr¨om and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, jonkv, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:44:42 Knowledge representation Cognition Database management systems Middleware Systems engineering Reasoning system Database Frame language Spatial–temporal reasoning Artificial intelligence Reasoning Science
415	Spatio-Temporal Stream Reasoning with Incomplete Spatial Information Fredrik Heintz and Daniel de Leng Link¨oping University, [removed]Link¨oping, Sweden Abstract. Reasoning about time and space is essential for many app Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2014-08-04 07:34:55 Knowledge representation Cognitive science Reasoning Constraint programming Educational psychology Spatial–temporal reasoning Qualitative reasoning Region connection calculus Temporal logic Logic Science Mathematics
416	Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:41 Epistemology Reasoning Knowledge representation Logic programming Frame problem Reasoning system Automated planning and scheduling Fluent Unmanned aerial vehicle Artificial intelligence Science Knowledge
417	Stream-Based Reasoning Support for Autonomous Systems 1 Fredrik Heintz and Jonas Kvarnstr¨om and Patrick Doherty2 Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex mission Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-23 07:10:00 Science Reasoning Database management systems Knowledge representation Middleware Systems engineering Reasoning system Database Stream processing Computing Programming paradigms Artificial intelligence
418	Semantic Information Integration for Stream Reasoning Fredrik Heintz and Zlatan Dragisic Department of Computer and Information Science, Link¨oping University, Sweden [removed] and [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-08-23 08:13:32 Science Data Information science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic integration Knowledge representation and reasoning Semantic Web Ontology Information
419	Abstract The area of reasoning about action and change is concerned with the formalization of actions and their eects as well as other aspects of inhabited dynamical systems. The representation is typically done in some Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-07 10:05:24 Logic in computer science Science Knowledge representation Epistemology Reasoning Frame problem Event calculus Situation calculus Dynamic logic Mathematical logic Logic Logic programming
420	Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:34:02 Epistemology Frame problem Theoretical computer science Situation calculus Science Predicate transformer semantics Event calculus Logic programming Knowledge representation Artificial intelligence

UPDATE